Knowledge at a high level of abstraction